Design Principles for Real-Time Process Control Systems

This report discusses a framework for formal requirements and design speciication, and designing of Real-Time process Control systems (RTC-systems). The framework combines axiomatic with operational speciication approaches for expressing respectively requirements and design. In addition, a design method is discussed and the principles and necessary instrumentation it assumes are identiied and embedded in a notation based on ASTRAL 18]. This design method enables the incremental designing of total RTC-systems by interleaved application of top-down and bottom-up designing steps. Since the goal of the report is the identiication of the principles, and since it does not concern any speciic subclass of RTC-systems' requirements speciications, then the principles are kept as general as possible. When necessary, these general principles can be limited to any chosen subclass of these requirements speciications.